mu :: (m, m) -> m